refutation tree
英 [ˌrefjuˈteɪʃn triː]
美 [ˌrefjuˈteɪʃn triː]
网络 反驳树
双语例句
- This paper also makes a relatively profound inquiry into the basic algorithm of AI, the means ends analysis, and seeks to prove the effectiveness of difference produced by a resolution refutation tree.
同时，本文对AI的基本算法&中间结局分析法作了较深入的探讨，证明了用归结反演树产生差别的有效性。 - N this paper, a new method for theorem proving of PTL ( propositional temporal logic) based on constructing semantic refutation tree is presented.
本文通过对近10年命题时态逻辑定理证明方法的研究，提出了一种新的证明方法，前人的工作基于对公式的现时部分和后时部分的分解，本文的工作是基于语义反驳树构造。